'a -> ('w, 'b) writer
